mini-os: create app-specific configuration
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 9 Feb 2012 18:33:31 +0000 (18:33 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 9 Feb 2012 18:33:31 +0000 (18:33 +0000)
commit684315da98921a483d7c7bd2effc16a95aee6b93
tree2f8f84d55fb3c91cdf4f7ce688b88a4809ce38a1
parentca8a593cc7ff51d6360d16fce31f934c3026ded2
mini-os: create app-specific configuration

Instead of using CONFIG_QEMU and CONFIG_GRUB to enable or disable minios
code, create CONFIG_ items for features and use application-specific
configuration files to enable or disable the features.

The configuration flags are currently added to the compiler command
line; as the number of flags grows this may need to move to a header.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Committed-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
extras/mini-os/Makefile
extras/mini-os/main.c
extras/mini-os/minios.mk
stubdom/Makefile
stubdom/c/minios.cfg [new file with mode: 0644]
stubdom/caml/minios.cfg [new file with mode: 0644]
stubdom/grub/minios.cfg [new file with mode: 0644]
stubdom/ioemu-minios.cfg [new file with mode: 0644]